Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1. Facthtagung uber Programmiersprachen, Munchen, 9-11, Marz 1971 / von Hans Langmaack, Paul Manfred
| 1. Facthtagung uber Programmiersprachen, Munchen, 9-11, Marz 1971 / von Hans Langmaack, Paul Manfred |
| Autore | FACHTAGUNG UBER PROGRAMMIERSPRACHEN : <1. ; : 1971 |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1972 |
| Descrizione fisica | 280 p. ; 24 cm |
| Disciplina |
510
001 |
| Collana | Lecture notes in economics and mathematical systems |
| Soggetto non controllato |
Atti di convegni
Programmazione dei calcolatori - teoria generale |
| ISBN | 3540060510 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-990002577820403321 |
FACHTAGUNG UBER PROGRAMMIERSPRACHEN : <1. ; : 1971
|
||
| Berlin : Springer Verlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
| 1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack |
| Autore | Grau, Albert A. |
| Pubbl/distr/stampa | Berlin, : Springer, 1967 |
| Descrizione fisica | ix, 403 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Hill, Ursula
Langmaack, Hans |
| Soggetto topico | 65-XX - Numerical analysis [MSC 2020] |
| Soggetto non controllato |
Algol 60
Algorithms Arithmetic Calculation Functions Mathematics Numerical Analysis Optimization Programming Programming language Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254577 |
|
Grau, Albert A.
|
||
| Berlin, : Springer, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1. Erste Fachtagung uber Programmiersprachen : Munchen, 9.-11. Marz 1971 / Hrsg. im Auftrag der Gesellschaft fur Informatik von Hans Langmaack und Manfred Paul
| 1. Erste Fachtagung uber Programmiersprachen : Munchen, 9.-11. Marz 1971 / Hrsg. im Auftrag der Gesellschaft fur Informatik von Hans Langmaack und Manfred Paul |
| Autore | Fachtagung uber Programmiersprachen <1. ; 1971 ; Munich> |
| Pubbl/distr/stampa | Berlin ; Heidelberg ; New York : Springer-Verlag, 1972 |
| Descrizione fisica | vi, 280 p. : ill. ; 27 cm. |
| Disciplina | 001.6425 |
| Altri autori (Persone) |
Langmaack, Hans
Paul, Manfred |
| Collana |
Gesellschaft fur Informatik. Bericht ; 3
Lecture notes in economics and mathematical systems, 0075-8442 ; 75 |
| Soggetto topico |
Electronic computers - Congresses
Programming languages - Congresses |
| ISBN | 3540060510 |
| Classificazione |
AMS 68N05
AMS 68N15 AMS 68N20 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000870119707536 |
|
Fachtagung uber Programmiersprachen <1. ; 1971 ; Munich>
|
||
| Berlin ; Heidelberg ; New York : Springer-Verlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working group provably correct systems - ProCoS : Lubeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)
| Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working group provably correct systems - ProCoS : Lubeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.) |
| Autore | Working group provably correct systems- ProCoS : <3. : ; 1994> |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | XIV, 787 p. ; 24 cm. |
| Disciplina | 004.33 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaborazione dei dati - Congressi - 1994 |
| ISBN | 3540584684 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10008283 |
|
Working group provably correct systems- ProCoS : <3. : ; 1994>
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal techniques in real-time andfault-tolerant systems : third international symposium, Lübeck, Germany, September 19-23, 1994: proceedings / H. Langmaack (ed.)
| Formal techniques in real-time andfault-tolerant systems : third international symposium, Lübeck, Germany, September 19-23, 1994: proceedings / H. Langmaack (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | XIV, 787 p. : ill. ; 24 cm |
| Disciplina | 00433 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - lübeck - 1994
elaboratori elettronici - congressi - 1994 elaborazione in tempo reale - congressi - 1994 |
| ISBN | 3-540-58468-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204560203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Translation of ALGOL 60 / A.A. Grau, U. Hill, H. Langmaack
| Translation of ALGOL 60 / A.A. Grau, U. Hill, H. Langmaack |
| Autore | Grau, Albert A. |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1967 |
| Descrizione fisica | 397 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) |
Hill, Ursula
Langmaack, Hans |
| Collana |
Handbook for automatic computation
Die Grundlehren der mathematischen Wissenschaften |
| Soggetto non controllato |
Linguaggi di programmazione
ALGOL |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008676070403321 |
|
Grau, Albert A.
|
||
| Berlin ; Heidelberg : Springer-Verlag, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||